%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Pre-processing                          : 0.101s
%% Hypothesis Space Generation             : 0.052s
%% Conflict analysis                       : 5.284s
%%   - Brave Orders                        : 5.284s
%% Counterexample search                   : 0.888s
%%   - CDOEs                               : 0.607s
%%   - CDPIs                               : 0.283s
%% Hypothesis Search                       : 20.488s
%% Propagation                             : 10.724s
%%   - CDOEs                               : 10.724s
%% Total                                   : 38.599s
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:~ value(erbe_spezie_e_condimenti,V1).[V1@5, V1]

